function GuiPageProduceHistory() {
};

GuiPageProduceHistory.instance = function(prefix) {
  return { results: document.getElementById(prefix + '_results_div')
         };
};
